1. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
پدیدآورنده: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2297
2. Computational and Group-Theoretical Methods in Nuclear Physics : proceedings of the Symposium in honor of Jerry P. Draayer's 60th birthday : 18-21 February 2003, Playa del Carmen, Mexico
پدیدآورنده: / Draayer Jutta
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Nuclear physics--Mathematics--Congresses.,Scattering (Physics),Object-oriented programming (Computer science)
رده :
QC770
3. Generalized quantifiers and computation
پدیدآورنده: Jouko Väänänen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
4. Mathematical foundations of computer science 2012
پدیدآورنده: Branislav Rovan, Vladimiro Sassone, Peter Widmayer (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses,Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
S96
2012eb
5. Mathematical foundations of computer science 2013 :
پدیدآورنده: Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
6. Mathematical foundations of computer science 200
پدیدآورنده: / Edward Ochmaanski, Jerzy Tyszkiewicz (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics--Congresses,Computer programming--Congresses,Algorithms--Congresses,Computable functions--Congresses,Machine theory--Congresses
7. Mathematical foundations of computer science 2008
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
8. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
پدیدآورنده: M. Main...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
9. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
10. Mathematical foundations of programming semantics :
پدیدآورنده: M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
11. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده: M. Main...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
12. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
13. Mathematics of program constructio
پدیدآورنده: / Philippe Audebaud, Christine Paulin-Mohring (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses,Electronic books.
رده :
QA
,
76
.
6
,.
I5535
,
2008eb
14. Mathematics of program construction
پدیدآورنده: / Roland Backhouse, Josae Nuno Oliveira (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
6
,.
I5535
,
2000
15. Mathematics of program construction :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
16. Mathematics of program construction
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
17. Mathematics of program construction
پدیدآورنده: Ronald Back house Jose Nuno oliveria
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
18. Mathematics of program construction :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
19. Mathematics of program construction
پدیدآورنده: / Eerke A. Boiten, Bernhard M?�ller (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
6
,.
M6926
,
2002
20. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
